closed cover

闭覆盖